function decodeURIComponentExtention(s){
	return decodeURIComponent(s.replace(/\+/g, '%20'));
}